es{-}prior{-}interface\{i:l\}(${\it es}$; $X$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}local{-}pred\{i:l\}(${\it es}$; ($\lambda$$e$.$e$ $\in_{b}$ $X$))